8 Definability and wittnessing in second order theories (BAPLaCT)